Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

Tinnitus is a common condition characterized by the perception of sound in the absence of an external source, with potential negative physical and psychological impacts. Accurate and efficient diagnosis of tinnitus is crucial for appropriate treatment and management. Traditional diagnostic methods have limitations in terms of time, cost, and accuracy. To address these challenges, expert systems have emerged as a promising tool for tinnitus diagnosis. This paper explores the application of expert systems in tinnitus diagnosis, highlighting their potential to improve (...) accuracy and efficiency. By incorporating a knowledge base and rule-based decision-making, expert systems can provide valuable insights for accurate diagnosis and appropriate management of tinnitus. Further research and development in this area can enhance the clinical assessment and treatment of tinnitus, ultimately improving the quality of life for affected individuals. (shrink)

The purpose of this research is to identify the extent of the efficiency of the internal control environment in the Palestinian higher educational institutions in Gaza Strip from the perspective of employees in the Palestinian universities in Gaza Strip, where researchers used in the study five universities. The researchers adopted in their study the descriptive and analytical approach. The research community consists of administrative employees and academic employees with administrative duties. Senior management or the University Council was excluded. The study (...) population compromises of (392) employees. A stratified random sample was chosen and (197) questionnaires were distributed. (160) questionnaires were received back with a return rate of (81.2%).The researchers used a questionnaire to collect that which then was analyzed using (SPSS) to get the results. The research found the following results: the absence of a fundamental difference between the responses of males and females. The lack of significant difference between the responses of the respondents attributed to the variable age. The lack of significant difference between the responses of the respondents attributed to the variable of years of service. And the existence of a fundamental difference between the responses of the respondents attributed to the university variable. The existence of a fundamental difference between the responses of the respondents attributed to the Qualification variable. The existence of a fundamental difference between the responses of the respondents attributed to the administrative level variable. The research found a group of recommendations including: the need to raise awareness of censorship as the basis for the protection of employees in all administrative levels from making mistake.Updating the systems and instructions of control periodically and parallel with the scientific progress and technology.Benefit from regional and international experiences in the application of internal control standards which commensurate with the administrative system of the institution. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

This is a survey article on reductive views of shared intention.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic liberties, such as an (...) individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (shrink)

This paper will argue that there is no such thing as introspective access to judgments and decisions. I t won't challenge the existence of introspective access to perceptual and imagistic states, nor to emotional feelings and bodily sensations. On the contrary, the model presented in Section 2 presumes such access. Hence introspection is here divided into two categories: introspection of propositional attitude events, on the one hand, and introspection of broadly perceptual events, on the other. I shall assume that the (...) latter exists while arguing that the fonner doesn't . Section I makes some preliminary points and distinctions, and outlines the scope of the argument. Section 2 presents and motivates the general model of introspection that predicts a divided result. Section 3 provides independent evidence for the conclusion that judgments and decisions aren't introspectable. Section 4 then replies to a number of objections to the argument, the most important of which is made from the perspective of so-called "dual systems theories" of belief formation and decision making, The upshot is a limited form of eliminativism about introspection, in respect of at least two core categories of propositional attitude. (shrink)

On how medieval philosophy is not (only) theology.

Recently, bioethicists and the UNCRPD have advocated for supported medical decision-making on behalf of patients with intellectual disabilities. But what does supported decision-making really entail? One compelling framework is Anita Silvers and Leslie Francis’ mental prosthesis account, which envisions supported decision-making as a process in which trustees act as mere appendages for the patient’s will; the trustee provides the cognitive tools the patient requires to realize her conception of her own good. We argue that supported decision-making would be better understood (...) as a collaborative process, giving patients with intellectual disabilities the opportunity to make decisions in a respectful relationship with trusted others. We offer an alternative account of supported decision-making where the primary constraint is to protect the patient from domination by the trustee. This is advantageous in its preservation of the prospects for genuine collaboration, for the mental prosthesis approach ultimately reinforces a problematic ideal of isolated patient self-determination. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

As inductive decision-making procedures, the inferences made by machine learning programs are subject to underdetermination by evidence and bear inductive risk. One strategy for overcoming these challenges is guided by a presumption in philosophy of science that inductive inferences can and should be value-free. Applied to machine learning programs, the strategy assumes that the influence of values is restricted to data and decision outcomes, thereby omitting internal value-laden design choice points. In this paper, I apply arguments from feminist philosophy of (...) science to machine learning programs to make the case that the resources required to respond to these inductive challenges render critical aspects of their design constitutively value-laden. I demonstrate these points specifically in the case of recidivism algorithms, arguing that contemporary debates concerning fairness in criminal justice risk-assessment programs are best understood as iterations of traditional arguments from inductive risk and demarcation, and thereby establish the value-laden nature of automated decision-making programs. Finally, in light of these points, I address opportunities for relocating the value-free ideal in machine learning and the limitations that accompany them. (shrink)

Mango is an economically significant fruit crop cultivated in various tropical and subtropical regions around the world. However, the productivity and quality of mangoes can be severely impacted by a range of pests. This research paper introduces an innovative approach to identify mango pests using an expert system. The expert system integrates knowledge from entomology and plants to provide accurate identification of common mango pests. The paper outlines the development and implementation of the expert system using Clips shell, which utilizes (...) rule-based techniques to analyze symptoms associated with mango pests. By inputting observed symptoms, such as leaf spots, fruit damage, leaf mild and stem cankers the system can accurately identify the specific pest species affecting the mango tree. For each pest, the paper discusses their specific symptoms and Favorable conditions that affect the mango plant. By understanding the identification and symptoms of these pests, mango growers and agricultural professionals can implement appropriate pest management strategies to mitigate the economic losses caused by these insects. The research presented in this paper aims to contribute to the body of knowledge on mango pest management, facilitating sustainable mango production and ensuring the availability of high-quality mangoes in global markets. (shrink)

This chapter discusses cryptocurrency, distributed ledger technology and blockchain tokens within the context of technological innovation, the history of money and accounting practices, and their multiple functionalities beyond those of standard currencies. This discussion is motivated by the design of cryptocurrencies for specific community needs, and to reflect anti-rival, positive sum value.

In order to better understand the topic of hope, this paper argues that two separate theories are needed: One for hoping, and the other for hopefulness. This bifurcated approach is warranted by the observation that the word ‘hope’ is polysemous: It is sometimes used to refer to hoping and sometimes, to feeling or being hopeful. Moreover, these two senses of 'hope' are distinct, as a person can hope for some outcome yet not simultaneously feel hopeful about it. I argue that (...) this distinction between hoping and hopefulness is not always observed or fully appreciated in the literature and has consequently caused much confusion. This paper then sketches what theorizing about hope looks like in light of this clarification and discusses some of its implications. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought of as a restricted subset of all potentially available probabilities. A recent publication (Fuchs and Schack, arXiv:0906.2187v1, 2009) advocates such a representation using symmetric informationally complete (SIC) measurements. Building upon this work we study how this subset—quantum-state space—might be characterized. Our leading characteristic is that the inner (...) products of the probabilities are bounded, a simple condition with nontrivial consequences. To get quantum-state space something more detailed about the extreme points is needed. No definitive characterization is reached, but we see several new interesting features over those in Fuchs and Schack (arXiv:0906.2187v1, 2009), and all in conformity with quantum theory. (shrink)

The genetic modification of pigs as a source of transplantable organs is one of several possible solutions to the chronic organ shortage. This paper describes existing ethical tensions in xenotransplantation (XTx) that argue against pursuing it. Recommendations for lifelong infectious disease surveillance and notification of close contacts of recipients are in tension with the rights of human research subjects. Parental/guardian consent for pediatric xenograft recipients is in tension with a child’s right to an open future. Individual consent to transplant is (...) in tension with public health threats that include zoonotic diseases. XTx amplifies concerns about justice in organ transplantation and could exacerbate existing inequities. The prevention of infectious disease in source animals is in tension with the best practices of animal care and animal welfare, requiring isolation, ethologically inappropriate housing, and invasive reproductive procedures that would severely impact the well-being of intelligent social creatures like pigs. (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

I argue for the conditions that eco-sabotage (sabotage involving the protection of animals or the environment) must meet to be a morally permissible form of activism in a liberal democracy. I illustrate my case with Jessica Reznicek and Ruby Montoya’s oil pipeline destruction, the Sea Shepherd Conservation Society’s whale hunt sabotage, and the Valve Turners’ pipeline shut-off, climate necessity-defense. My primary contention is that just as it is permissible to destroy an attacker’s weapon in self- or other-defense, it is permissible (...) to engage in some forms of eco-sabotage. Taking inspiration from just war theory, I use the conditions of just cause, reasonable chance of success, proportionality, necessity, and discrimination to both conceptualize eco-sabotage as defense and illustrate the justificatory burden the eco-saboteur must meet. Often eco-sabotage is doubly pro-tanto wrong because it is illegal and involves property destruction. Overcoming these hurdles is particularly difficult because in seemingly bypassing democratic means of dispute resolution, the eco-saboteur seemingly coerces the other members of society by forcing idiosyncratic views upon them. Non-anthropocentric eco-sabotage grounded in defense of animal rights has mixed results regarding the democratic objection just described. I argue that anthropocentric eco-sabotage, grounded in defense of human rights, has the best chance of overcoming this objection, provided a persuasive case can be made for its reasonable chance of success. Passing a reasonable chance of success also causes problems for non-anthropocentric eco-sabotage grounded in species defense, while non-anthropocentric eco-sabotage grounded in defense against animal suffering has a lighter justificatory burden. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

One widely used method for allocating health care resources involves the use of cost-effectiveness analysis (CEA) to rank treatments in terms of quality-adjusted life-years (QALYs) gained. CEA has been criticized for discriminating against people with disabilities by valuing their lives less than those of non-disabled people. Avoiding discrimination seems to lead to the ’QALY trap’: we cannot value saving lives equally and still value raising quality of life. This paper reviews existing responses to the QALY trap and argues that all (...) are problematic. Instead, we argue that adopting a moderate form of prioritarianism avoids the QALY trap and disability discrimination. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

This paper proposes a new framework for thinking about hope, with certain unexpected consequences. Specifically, I argue that a shift in focus from locutions like “x hopes that” and “x is hoping that” to “x is hopeful that” and “x has hope that” can improve our understanding of hope. This approach, which emphasizes hopefulness as the central concept, turns out to be more revealing and fruitful in tackling some of the issues that philosophers have raised about hope, such as the (...) question of how hope can be distinguished from despair or how people can have differing strengths in hope. It also allows us to see that many current accounts of hope, far from being rivals, are actually compatible with one another. (shrink)

Empirical philosophers of science aim to base their philosophical theories on observations of scientific practice. But since there is far too much science to observe it all, how can we form and test hypotheses about science that are sufficiently rigorous and broad in scope, while avoiding the pitfalls of bias and subjectivity in our methods? Part of the answer, we claim, lies in the computational tools of the digital humanities, which allow us to analyze large volumes of scientific literature. Here (...) we advocate for the use of these methods by addressing a number of large-scale, justificatory concerns—specifically, about the epistemic value of journal articles as evidence for what happens elsewhere in science, and about the ability of DH tools to extract this evidence. Far from ignoring the gap between scientific literature and the rest of scientific practice, effective use of DH tools requires critical reflection about these relationships. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

In order to analyze e-commerce from the perspective of theories of the philosophy of technology, first the characteristics of e-commerce are examined and then analyzed from the viewpoint of the philosophy of technology. In the first section of the article, topics such as definitions and models of e-commerce, electronic contracts, electronic payments, and electronic customs are investigated. In the second section, topics including the technology of e-commerce, requirements of e-commerce, ethics and e-commerce, identity and e-commerce, virtual reality of e-commerce, and (...) the power of aggregation in e-commerce are analyzed. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

Artikkeli tarkastelee aluksi Hannah Arendtin analyysiä totalitarismin pohjimmiltaan ideologisesta luonteesta ja ideologisen ”idean” olemuksesta. Tätä analyysiä verrataan Alain Badioun yritykseen herättää henkiin ideologinen ”idean politiikka”. Artikkelin perusväitteen mukaan sekä Arendt että Badiou näkevät politiikan alueena, jolla uutuus ja ihmisen kyky ryhtyä maailmaa muuttaviin hankkeisiin voivat toteutua. He ymmärtävät kuitenkin poliittisen aktiviteetin muodon olennaisesti eri tavoin: Arendtille politiikka on perusluonteeltaan toimintaa, praksista, Badioulle se on pohjimmiltaan idean tuottamista, poiesista. Tällä on keskeisiä seurauksia heidän politiikkakäsityksilleen. Lopuksi osoitetaan, että Badioun ”ideologinen” ymmärrys politiikasta (...) jää alttiiksi Arendtin peruskritiikille, jonka mukaan politiikan välineellinen ymmärtäminen keinojen ja päämäärien viitekehyksessä on viime kädessä kyvytön sulkemaan pois poliittisen terrorin mahdollisuutta. (shrink)

A rejoinder to Harri Mäcklin, "A Heideggerian Critique of Immersive Art".

Puhuttaessa Ukrainan sotaan kärjistyneen Venäjän geopoliittisen ja ideologisen ajattelun filosofis-teoreettisista taustavoimista nousee toistuvasti esiin ”putinismin pääideologiksi” ja ”maailman vaarallisimmaksi filosofiksi” maalaillun Aleksandr Duginin nimi. Kuka Dugin on, millaista on hänen vaarallinen ajattelunsa ja mikä on sen yhteys suurvallan aggressioon ja hyökkäyssotaan? Seuraavassa luodaan tiivis yleiskatsaus Duginin ajattelun kahteen keskeisimpään ideologiseen elementtiin: geopoliittiseen Euraasia-ideologiaan ja Duginin radikaalikonservatiiviseen ”neljänteen poliittiseen teoriaan”. Vaikka Duginin suora vaikutusvalta on rajallinen, hänen ajattelunsa heijastelee Venäjän poliittisen eliitin ajatusmaailmaa laajemminkin.